Suchergebnis

• Consistency based process diagnosis based on the variant connection graph proof procedure and Petri nets Wang, Yu Als Ms. gedr., Düsseldorf : VDI-Verl., 1997

• Independence friendly logic a game-theoretic approach Mann, Allen L. ; Sandu, Gabriel ; Sevenster, Merlijn New York : Cambridge Univ. Press, 2011